Send トレイトと Sync トレイト

スレッド間での利用に影響する 2 つのマーカトレイトがある

std::marker::Send: アイテム（T）をスレッド間で転送可能ということを示す

アイテムの所有権は、スレッドからスレッドへ渡すことができる

std::marker::Sync: アイテムが借用ルール内で、複数スレッドから安全にアクセス可能ということを示す

言い換えると、&T がスレッド間で転送可能であることを示す

これらのトレイトは自動トレイトで、新しい型の構成要素がすべて Send / Sync を実装していれば、コンパイラが自動的に実装してくれる

ほとんどの安全な型は実装しているので、実装していない型（impl !Sync for ...）に注目すると良い

Send を実装していない型は、1 つのスレッド内でしか使えない

e.g. Rc<T>: 同期機構を持たない参照カウントポインタ

実行速度を優先して、明示的にシングルスレッドを仮定している

マルチスレッドで動作させたい場合は、Arc<T> を用いれば良い

Sync を実装していない型は、複数のスレッドから不変参照を通じて安全にアクセスできない

e.g. Cell<T> / RefCell<T>: 同期せずに内部可変性を提供する

マルチスレッドで動作させたい場合は、Mutex<T> / RwLock<T> を用いて

また、*const T や *mut T などの生ポインタを表す型も Send と Sync を実装していない